база утверждений

база утверждений
(в экспертных системах) assertional database

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • Cyc — Эта статья  о проекте по созданию базы знаний. О городе в Тунисе см. Сус. Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Cyc (написано латиницей,… …   Википедия

  • Информационная — функция автоматизированной системы управления Функция АСУ, включающая получение информации, обработку и передачу информации персоналу АСУ или за пределы системы о состоянии ТОУ или внешней среды Источник …   Словарь-справочник терминов нормативно-технической документации

  • БИКОМПАКТНОЕ РАСШИРЕНИЕ — (би)компактификация, расширение топологического пространства, являющееся бикомпактным пространством. Б. р. существуют у любого топологич. пространства, у любого T1 пространства есть Б. р., являющиеся T1 пространствами, но наибольший интерес… …   Математическая энциклопедия

  • Математическая индукция — Математическая индукция  один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров …   Википедия

  • Метод математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… …   Википедия

  • Принцип математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… …   Википедия

  • МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… …   Философская энциклопедия

  • Экспертная система — (ЭС, англ. expert system)  компьютерная система, способная частично заменить специалиста эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 …   Википедия

  • Живая этика — Проверить нейтральность. На странице обсуждения должны быть подробности. У этого термина существуют и другие значения, см. Агни (значения). Живая Этика, или Агни Йога  …   Википедия

  • Отчет — документ, содержащий сведения о выполнении заданий, поручений, планов и т.п. и представляемый в вышестоящую организацию (должностному лицу). Источник: МДС 12 37.2007: Рекомендации по ведению документооборота в строительной организации Отчет… …   Словарь-справочник терминов нормативно-технической документации

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”